en disjoint union (n)
― Synonym ⟶
Weight: 1.0
en discriminated union Source: English Wiktionary